Some text before section title.
This is a nested document within a nested document <nested document>.
To check whether HTML escaping works, both the file name and the title contain strange characters. The double quotes character in the title is only problematic when smartquotes is set to False.